imagesdir = $(htmldir)/images
dist_images_DATA = $(srcdir)/*.png $(srcdir)/*.svg
